Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
351	💀 Symbols Erik Michaels-Ober (@sferik) RUG::B, 7 May 2015 Symbols are Useless 💩 1. Calling Symbol#to_s on every symbol in your Add to Reading List Source URL: speakerd.s3.amazonaws.com Language: English - Date: 2015-05-06 08:24:47 Computing Symbol Ruby String Hash Software engineering Formal languages Computer programming
352	Regular-expression derivatives reexamined SCOTT OWENS University of Cambridge Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-01-10 16:47:22 Models of computation Computer science Software engineering Nondeterministic finite automaton Deterministic finite automaton Regular language Symbol String Regular expression Automata theory Formal languages Theoretical computer science
353	GAV-sound with conjunctive queries • Source and global schema as before: ◦ source R1(A, B), R2(B, C) ◦ Global schema: T1(A, C), T2(B, C) • GAV mappings become sound: Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-10-21 09:17:48 Formal languages Rewriting Mathematics Information Computer science Conjunctive query Database theory Data integration
354	Interpolation for Data Structures ∗ Deepak Kapur Add to Reading List Source URL: www.cs.unm.edu Language: English - Date: 2009-06-21 20:13:07 Predicate logic Metalogic Formal languages Semantics First-order logic Interpretation Quantifier elimination Well-formed formula Quantification Logic Mathematical logic Model theory
355	BRICS RSO. Danvy: From Reduction-Based to Reduction-Free Normalization BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-01-20 05:23:35 Computability theory Formal languages Logic in computer science Lambda calculus Models of computation Reduction strategy Standard ML Function Normal form Theoretical computer science Mathematics Programming language theory
356	Algorithmic Analysis of Array-Accessing Programs ? ˇ Rajeev Alur, Pavol Cern´ y, and Scott Weinstein University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2009-06-22 08:52:31 Mathematics Formal languages Computer science Finite state transducer Finite-state machine Nondeterministic finite automaton Petri net FO Variable Automata theory Models of computation Theoretical computer science
357	Knowledge and Tree-Edits in Learnable Entailment Proofs Asher Stern1 , Amnon Lotan3 , Shachar Mirkin1 , Eyal Shnarch1 , Lili Kotlerman1 , Jonathan Berant2 , and Ido Dagan1 1 Computer Science Department, Bar-Ilan Univers Add to Reading List Source URL: www-nlp.stanford.edu Language: English - Date: 2014-07-26 23:52:02 Propositional calculus Philosophical logic Formal languages Textual entailment Entailment WordNet Formal proof Inference Abductive reasoning Logic Logical consequence Logical syntax
358	2002 Paper 4 Question 2 Compiler Construction The specification for a pocket-calculator-style programming language is as follows: • Valid inputs consist either of an Expression followed by the enter button or of an Ex Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:17:47 Compiler construction Formal languages Source code Lexical analysis Parsing Programming language implementation Programming language Syntax C++ classes Software engineering Computer programming Computing
359	Contextual Semantic Parsing using Crowdsourced Spatial Descriptions Kais Dukes () Institute for Artificial Intelligence, University of Leeds United Kingdom, LS2 9JT Abstract Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-05-01 20:07:36 Science Programming language implementation Compiler construction Grammar Statistical natural language processing Parsing Semantic role labeling Treebank Bottom-up parsing Linguistics Computational linguistics Formal languages
360	Journal of Intelligent Information Systems, 19:2, 231–259, 2002 c 2002 Kluwer Academic Publishers. Manufactured in The Netherlands. Hypothetical Temporal Reasoning in Databases∗ MARCELO ARENAS† Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:02 Logical syntax Metalogic Model theory Formal languages First-order logic Situation calculus Frame problem Function Entailment Logic Mathematics Logic programming

UPDATE